Dependability modeling and evaluation of software fault-tolerant systems
نویسندگان
چکیده
منابع مشابه
Dependability Modeling and Evaluation of Software Fault-Tolerant Systems
Abstmct-The paper provides dependability modeling and evaluation (encompassing reliability and safety issues) of the two major fault tolerance software approaches: recovery Mocks (RB) and N-version programming (NVP). The study is based on the detailed analysis of software fault-tolerance architectures able to tolerate a single fault (RB: two alternates and an acceptance test, NVP: three version...
متن کاملFault Injection and Dependability Evaluation of Fault-Tolerant Systems
This paper describes a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault occurrence process. The main characteristics of a fault injection test sequence aimed at evaluating the coverage of the fault tolerance process are presented. Emphasis is given to the derivation of experimental...
متن کاملCoverage Modeling for Dependability Analysis of Fault-Tolerant Systems
Several different models for predicting coverage in a fault-tolerant system are discussed, including models for permanent, intermittent, and transient errors. Markov, semi-Markov, nonhomogeneous Markov, and extended stochastic Petri net models for computing coverage are developed. Two types of events which interfere with recovery are examined; methods for modeling such events (applicable if the...
متن کاملDependability Evaluation of Fault Tolerant Distributed Industrial Control Systems
Abstract. Modern distributed industrial control systems need improvements in their dependability. In this paper we study the dependability of a fault tolerant distributed industrial control system designed in our university. This system is based on fault tolerant nodes interconnected by two communication networks. This paper begins showing the architecture of a single node in the distributed sy...
متن کاملDynamic Adjustment of Dependability and Efficiency in Fault-Tolerant Software
In this paper we discuss the problem of attaining a dynamic compromise between using redundancy to improve software dependability and limiting the amount of redundancy so as to avoid unnecessary inefficiencies. A scheme, called self-configuring optimal programming (SCOP), is developed. SCOP attempts to reduce the resource cost of faulttolerant software, both in space and time, by providing desi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computers
سال: 1990
ISSN: 0018-9340
DOI: 10.1109/12.54843